科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用关系代数和RelView研究非经典逻辑的有限模型
Rudolf Berghammer; Renate A. Schmidt;
机译:通过关系代数和RELVIEW工具解决有限拓扑上的计算任务
机译:通过实验热电测量和有限元建模系统研究20至5 nm技术节点对CMOS逻辑晶体管的自热效应
机译:量子逻辑中结果运算(Cn)的模型理论研究:一种代数方法
机译:使用关系代数和RelView研究非经典逻辑的有限模型
机译:有限维代数和相关的单项代数的Ext代数的有限生成
机译:对流扩散方程有限元逼近的基于边缘的非线性扩散及其与代数通量校正方案的关系
机译:超越等级1:代数语义和代数逻辑的有限模型
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
机译:基于Hooji代数原理的多值非逻辑两级连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两级连接方法,基于Hooji代数的多值非逻辑两步连接方法代数,基于Hooji代数原理的多值偶数和非逻辑两阶段连接方法,基于Hooji代数原理的完全值电路的多值完全性和多值缓冲电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。